#!/bin/sh -efu
# Generated by ./tests/gen_tests.sh from ./tests/gen_tests.in (heavy_girar_patch-sisyphus-sisyphus ); do not edit.
. "${srcdir=.}/heavy_girar_patch".sh "sisyphus" "sisyphus" 
